The papers address different development modes, roles in the value chain, stakeholders’ viewpoints, collaborative development, ...
Lee masThis book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...
Lee masIt is devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and ...
Lee masThis book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April ...
Lee masThis book is organized in topical sections on Encryption, Signature, Analysis, Application of Hash Functions, Universal Composability, ...
Lee masThey are dedicated to the field of and current researches in reinforcement learning.There was an air of excitement as substantial ...
Lee masThe idea of reconfigurable hardware systems has represented the Holy Grail for computer system designers.It has been recognized ...
Lee masThe book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable ...
Lee masThe book is discussing topics such as autonomy, incentives and trust, overlays and virtualization, load balancing and fault ...
Lee masobot vision (or, more general, robotics) is a fast-growing discipline, already taught as a dedicated teaching program at ...
Lee masThe subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...
Lee masThis book is segmented into four topical sections on foundations of computer science; computing by nature; networks, security, ...
Lee masThis book is organized in topical sections on query optimization in scientific databases, privacy, searching and mining graphs, ...
Lee masTaking a step-by-step approach, and drawing on the expertise of key researchers in the multimedia and knowledge domains, ...
Lee masThis book presented original contributions demonstrating the use of logic, discrete mathematics, combinatorics, domain theory ...
Lee masThe book is organized in topical sections on probabilistic methods and randomness properties of sequences; correlation; combinatorial ...
Lee masThe book is organized in topical sections on enterprise system dependability, software service availability, service availability ...
Lee masThe tools for developing these skills are in part qualitative – concepts such as set, relation, function, and structures ...
Lee masThe scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
Lee masThis book includes : graph-based methods, probabilistic and stochastic structural models for PR, image and video analysis, ...
Lee mas